Foundation of Computation